From 474685ed52e556914198c7fc945786cb6c301cc8 Mon Sep 17 00:00:00 2001
From: Gerd Moellmann <gerd@gnu.org>
Date: Wed, 9 May 2001 15:41:25 +0000
Subject: [PATCH] *** empty log message ***

---
 src/ChangeLog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ChangeLog b/src/ChangeLog
index b9261ed28db..2a13804d77d 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2001-05-09  Gerd Moellmann  <gerd@gnu.org>
 
+	* print.c (syms_of_print) <print-length, print-level>: Doc fix.
+
 	* xterm.c (note_mouse_highlight): Don't change the mouse cursor
 	back to the text cursor shape without need.
 
-- 
2.30.2